משרות דרושים סטודנט לאימות פורמלי - עמוד 4

סטודנט/ית לאימות פורמלי עוסק/ת בבדיקת נכונות של מערכות חומרה ותוכנה באמצעות כלים מתמטיים ואלגוריתמיים. תפקיד זה דורש ידע במתמטיקה, לוגיקה, ותכנות, וכן הבנה מעמיקה של מערכות דיגיטליות. עליך להיות בעל/ת יכולת אנליטית גבוהה, תשומת לב לפרטים, ויכולת עבודה בצוות. ביום-יום, תעסוק/י בכתיבת מודלים פורמליים, הרצת סימולציות, וניתוח תוצאות כדי לוודא שהמערכת פועלת כמצופה. אם את/ה נהנה/ית מפתרון בעיות מורכבות ויש לך תשוקה לטכנולוגיה, תפקיד זה עשוי להתאים לך מאוד.